1681. Routing algorithms in networks-on-chip
پدیدآورنده : / Maurizio Palesi, Masoud Daneshtalab, editors
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Networks on a chip,Computer algorithms,Autonomic computing,Computer architecture,Networks on a chip,TECHNOLOGY & ENGINEERING / Mechanical, bisacsh
رده :
E-BOOK
1682. Routing algorithms in networks-on-chip
پدیدآورنده : Maurizio Palesi, Masoud Daneshtalab, editors
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer algorithms,Networks on a chip
رده :
TK5105
.
546
1683. Routing algorithms in networks-on-chip
پدیدآورنده : Maurizio Palesi, Masoud Daneshtalab, editors
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Computer algorithms,، Networks on a chip
رده :
TK
5105
.
546
.
R6
2014
1684. Routing algorithms in networks-on-chip
پدیدآورنده : Maurizio Palesi, Masoud Daneshtalab, editors
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Networks on a chip,، Computer algorithms,، Autonomic computing,، Computer architecture,، Networks on a chip
رده :
TK5105
.
546
1685. SAT 2005 :
پدیدآورنده : edited by Enrico Giunchiglia and Toby Walsh.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computational complexity.,Computer algorithms.,Propositional calculus.,Computational complexity.,Computational complexity.,Computer algorithms.,Computer algorithms.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,Informatique.,Propositional calculus.,Propositional calculus.
رده :
QA76
.
9
.
A43
S28
2006eb
1686. SAT 2019 :--Theory and applications of satisfiability testing
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer algorithms ; Congresses. ;
1687. SAT 2020 :--Theory and applications of satisfiability testing
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer algorithms ; Congresses. ;
1688. SAT 2021 :--Theory and applications of satisfiability testing
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer algorithms ; Congresses. ;
1689. SPAA 2006 : Eighteenth Annual ACM Symposium on Parallelism in Algorithms and Architectures, July 30-August 2, 2006, Cambridge, Massachusetts, USA
پدیدآورنده : sponsored by ACM SIGACT, ACM SIGARCH, with support from Sun Microsystems, Akamai, Google, & Intel Corporation
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Parallel processing )Electronic computers(,Congresses ، Computer algorithms,Congresses ، Computer architecture
رده :
QA
76
.
5
.
A257
2006
1690. SPAA 2003 : Fifteenth Annual ACM Symposium on Parallelism in Algorithms and Architectures, June 7-9, 2003, San Diego, California, USA
پدیدآورنده : sponsored by ACM SIGACT ]and[ ACM SIGARCH in cooperation with EATCS )European Association for Theoretical Computer Science(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Parallel processing )Electronic computers(,Congresses ، Computer architecture,Congresses ، Computer algorithms
رده :
QA
76
.
5
.
A257
2003
1691. SPAA'11 : Proceedings of the Twenty-Third Annual Symposium on Parallelism in Algorithms and Architectures, June 4-6, 2011, San Jose, California, USA
پدیدآورنده : sponsored by : ACM SIGACT & ACM SIGARCH and supported by : IBM & Akamai
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Parallel processing )Electronic computers(,Congresses ، Computer algorithms,Congresses ، Computer architecture
رده :
QA
76
.
5
.
A257
2011
1692. SPAA 2005 : Seventeenth Annual ACM Symposium on Parallelism in Algorithms and Architectures, July 18-20, 2005, Las Vegas, Nevada, USA
پدیدآورنده : sponsored by ACM SIGACT, ACM SIGARCH and organized in cooperation with the European Association for Theoretical Computer Science & Intel Corporation
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Parallel processing )Electronic computers(,Congresses ، Computer algorithms,Congresses ، Computer architecture
رده :
QA
76
.
5
.
A257
2005
1693. SPAA 2004 : Sixteenth Annual ACM Symposium on Parallelism in Algorithms and Architectures, June 27-30, 2004, Barcelona, Spain
پدیدآورنده : sponsored by ACM SIGACT, ACM SIGARCH, and organized in cooperation with the European Association for Theoretical Computer Science & Intel Corporation
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Parallel processing )Electronic computers(,Congresses ، Computer algorithms,Congresses ، Computer architecture
رده :
QA
76
.
5
.
A257
2004
1694. SPAA: proceedings of the ... ACM Symposium on Parallel Algorithms and Architectures
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Parallel processing )Electronic computers(,Congresses ، Computer algorithms,Congresses ، Computer architecture
رده :
QA
76
.
58
.
A268a
1695. SPAA'07 : proceedings of the Nineteenth Annual Symposium on Parallelism in Algorithms and Architectures, San Diego, California, USA, June 9-11, 2007
پدیدآورنده : sponsored by ACM SIGACT & ACM SIGARCH; in cooperation with: EATCS and supported by: Akamai, Intel, & Sun Microsystems
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Parallel processing )Electronic computers(,Congresses ، Computer algorithms,Congresses ، Computer architecture
رده :
QA
76
.
5
.
A257
2007
1696. SPAA'08 : proceedings of the twentieth annual symposium on Parallelism in Algorithms and Architectures : Munich, Germany, June 14-16, 2008
پدیدآورنده : sponsored by ACM SIGACT & ACM SIGARCH; and supported by Akamai, Deutsche Forschungsgemeinschaft, Intel & Sun Microsystems
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Parallel processing )Electronic computers(,Congresses ، Computer algorithms,Congresses ، Computer architecture
رده :
QA
76
.
5
.
A257
2008
1697. SPAA'10 : proceedings of the twenty-seconde annual symposium on parallelism in algorithms and architectures, June 13-15, 2010, Thira, Santorini, Greece
پدیدآورنده : sponsored by ACM SIGACT & ACM SIGARCH; and supported by Sun Mircrosystems...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Parallel processing )Electronic computers(,Congresses ، Computer algorithms,Congresses ، Computer architecture
رده :
QA
76
.
5
.
A257
2010
1698. STACS 87 :
پدیدآورنده : edited by Franz J. Brandenburg, Guy Vidal-Naquet, Martin Wirsing.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algorithms.,Computer science.,Computers.
1699. Sams teach yourself data structures and algorithms in 24 hours /
پدیدآورنده : Robert Lafore
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer algorithms,Data structures (Computer science)
رده :
QA76
.
9
.
D35
L357
1999
1700. Satisfiability problem
پدیدآورنده : / Dingzhu Du, Jun Gu, Panos M. Pardalos, editors
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Propositional calculus- Congresses,Decision making- Congresses,Computer algorithms- Congresses,Computer science- Congresses
رده :
QA9
.
3
.
S38
1997
